The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🔒Cryptography
OneTwoPAKE: Two-Round Strong Asymmetric PAKE with Ideal Security
eprint.iacr.org·3d
🔒Cryptography
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·10h·
Discuss: Hacker News
🐛Vulnerability Research
Show HN: Storing private blogs on public internet with 0 verifications
sgaud.com·8h·
Discuss: Hacker News
🐛Vulnerability Research
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🔒Cryptography
Show HN: I built a tool that turns cryptography papers into working Python code
paperstoapp.com·1d·
Discuss: Hacker News
🔒Cryptography
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·10h·
Discuss: Hacker News, r/programming
🔒Cryptography
Why Powerful But Hard To Detect Backdoors Could Become A Routine Problem For Open Source Projects Because Of AI
techdirt.com·16h·
Discuss: Hacker News
🐛Vulnerability Research
Strategies for securing non-human identities (services, workloads, AI agents)
cerbos.dev·7h·
Discuss: Hacker News, r/programming
🔒Cryptography
Stress testing Biome's noFloatingPromises lint rule
vercel.com·1d·
Discuss: Hacker News
🦀Rust
Rust for Linux – Encoding the trust of data in the type system
lwn.net·1d·
Discuss: Hacker News
🦀Rust
Galactic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
🔒Cryptography
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
✅Formal Methods
Subverting code integrity checks to locally backdoor Signal, 1Password, Slack, and more
blog.trailofbits.com·1d·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Hackers use Ethereum smart contracts to conceal malware in code libraries
theblock.co·1d·
Discuss: Hacker News
🐛Vulnerability Research
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·15h·
Discuss: Hacker News
🐛Vulnerability Research
Protobuffers Are Wrong
reasonablypolymorphic.com·4h·
Discuss: Hacker News, r/programming
✅Formal Methods
I Ditched Docker for Podman (and You Should Too)
codesmash.dev·7h·
Discuss: Hacker News, r/programming
🦀Rust
Polynomial determined by two inputs (2012)
johndcook.com·2d·
Discuss: Hacker News
✅Formal Methods
Why RDF Is the Natural Knowledge Layer for AI Systems
bryon.io·13h·
Discuss: Hacker News
✅Formal Methods